Boolean algebra in digital electronics